((v1 v2 6) (v1 v3 8) (v1 v4 7) (v1 v5 9) (v1 v6 3) (v1 v7 3) (v1 v8 1) (v1 v9 7) (v1 v10 6) (v1 v11 5) (v1 v12 1) (v1 v13 4) (v1 v14 5) (v1 v15 4) (v1 v16 3))
15
((v5 v4) (v16 v12) (v7 v9))